ภาพ (image) ของ xโดยที่ x ∈ X ภายใต้ f คือผลลัพธ์ f (x)

ภาพของเซตย่อย A⊂X ภายใต้ f คือเซตย่อย Y ซึ่งมีนิยามดังนี้

บางครั้ง อาจใช้ f (A) แทน f[A]

สังเกตว่าเรนจ์ของ f คือภาพ f (X) ของโดเมนของมัน. ในฟังก์ชันข้างบน ภาพของ {2, 3} ภายใต้ f คือ f ({2, 3}) = {c, d} และเรนจ์ของ f คือ {c, d}

บุพภาพ (preimage) (หรือ ภาพผกผัน) ของเซต B ⊂ Y ภายใต้ f คือเซตย่อยของ X ซึ่งมีนิยามคือ

สำหรับฟังก์ชันข้างบน บุพภาพของ {a, b} คือ f −1 ({a, b}) = {1}